Doron Peled (eds.): ძიება ვებგვერდზე Z-Library

შეწირულობა 15 სექტემბერს 2024 – 1 ოქტომბერს 2024 თანხის შეგროვების შესახებ

თავისუფალი წვდომა ცოდნასა და კულტურასთან.

შეწირულობა 15 სექტემბერს 2024 – 1 ოქტომბერს 2024

Z-Library - ერთ-ერთი უდიდესი ონლაინ ბიბლიოთეკა მსოფლიოში, რომელშიც ინახება მეტი 17,000,000 წიგნი და 84,837,000 სტატია. ჩვენ ვისწრაფვით ლიტერატურა ხელმისაწვდომი გახდეს თითოეულისთვის დღეს (15 სექტემბერს 2024) ჩვენ ვიწყებთ შემოწირულობათა დამატებით შეგროვებას პროექტის მხარდასაჭერად და განვითარების ხელშესაწყობად.

ასევე, ულიმიტო ჩამოტვირთვები (შემოწირულების დღიდან 31 დღე) ხელმისაწვდომი იქნება ყველა მომხმარებლისთვის, ვინც შემოწირულობას ჩარიცხავს თანხის მოკრების პერიოდში, 1 ოქტომბერს 2024- მდე.

თანხის შეგროვების შესახებდეტალურად

მხარდაჭერა

გამოყენებულია ფილტრები

ზუსტი შესაბამისობა

ზუსტი შესაბამისობა

1

Model Checking and Artificial Intelligence: 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers

Model Checking and Artificial Intelligence: 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers

Springer-Verlag Berlin Heidelberg

Natasha Alechina, Brian Logan (auth.), Doron A. Peled, Michael J. Wooldridge (eds.)

წელი:

2009

ენა:

english

ფაილი:

PDF, 2.41 MB

0 / 0

english, 2009

2

Time for Verification: Essays in Memory of Amir Pnueli

Time for Verification: Essays in Memory of Amir Pnueli

Springer-Verlag Berlin Heidelberg

Howard Barringer, Dov M. Gabbay (auth.), Zohar Manna, Doron A. Peled (eds.)

წელი:

2010

ენა:

english

ფაილი:

PDF, 3.93 MB

0 / 0

english, 2010

3

Automated Technology for Verification and Analysis: 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings

Automated Technology for Verification and Analysis: 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings

Springer International Publishing

Cyrille Artho, Axel Legay, Doron Peled (eds.)

წელი:

2016

ენა:

english

ფაილი:

PDF, 12.70 MB

0 / 0

english, 2016

4

Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004. Proceedings

Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

Doron Peled (auth.), Rajeev Alur, Doron A. Peled (eds.)

წელი:

2004

ენა:

english

ფაილი:

PDF, 9.94 MB

0 / 0

english, 2004

5

Time for Verification: Essays in Memory of Amir Pnueli

Time for Verification: Essays in Memory of Amir Pnueli

Springer-Verlag Berlin Heidelberg

Howard Barringer, Dov M. Gabbay (auth.), Zohar Manna, Doron A. Peled (eds.)

წელი:

2010

ენა:

english

ფაილი:

PDF, 5.00 MB

0 / 0

english, 2010

6

Formal Techniques for Networked and Distributed Sytems — FORTE 2002: 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11–14, 2002 Proceedings

Formal Techniques for Networked and Distributed Sytems — FORTE 2002: 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11–14, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

Manuel Núñez, Ismael Rodríguez (auth.), Doron A. Peled, Moshe Y. Vardi (eds.)

წელი:

2002

ენა:

english

ფაილი:

PDF, 5.46 MB

0 / 0

english, 2002

7

Computer Aided Verification: 11th International Conference, CAV’99 Trento, Italy, July 6–10, 1999 Proceedings

Computer Aided Verification: 11th International Conference, CAV’99 Trento, Italy, July 6–10, 1999 Proceedings

Springer-Verlag Berlin Heidelberg

David L. Dill (auth.), Nicolas Halbwachs, Doron Peled (eds.)

წელი:

1999

ენა:

english

ფაილი:

PDF, 5.03 MB

0 / 0

english, 1999

8

Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004. Proceedings

Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

Doron Peled (auth.), Rajeev Alur, Doron A. Peled (eds.)

წელი:

2004

ენა:

english

ფაილი:

PDF, 6.80 MB

0 / 0

english, 2004

9

Formal Techniques for Networked and Distributed Sytems — FORTE 2002: 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11–14, 2002 Proceedings

Formal Techniques for Networked and Distributed Sytems — FORTE 2002: 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11–14, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

Manuel Núñez, Ismael Rodríguez (auth.), Doron A. Peled, Moshe Y. Vardi (eds.)

წელი:

2002

ენა:

english

ფაილი:

PDF, 4.63 MB

0 / 0

english, 2002

10

Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers

Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers

Springer-Verlag Berlin Heidelberg

Howard Barringer, Klaus Havelund, David Rydeheard, Alex Groce (auth.), Saddek Bensalem, Doron A. Peled (eds.)

წელი:

2009

ენა:

english

ფაილი:

PDF, 2.74 MB

0 / 0

english, 2009

11

Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers

Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers

Springer-Verlag Berlin Heidelberg

Howard Barringer, Klaus Havelund, David Rydeheard, Alex Groce (auth.), Saddek Bensalem, Doron A. Peled (eds.)

წელი:

2009

ენა:

english

ფაილი:

PDF, 2.38 MB

0 / 0

english, 2009

12

Time for Verification: Essays in Memory of Amir Pnueli

Time for Verification: Essays in Memory of Amir Pnueli

Springer-Verlag Berlin Heidelberg

Howard Barringer, Dov M. Gabbay (auth.), Zohar Manna, Doron A. Peled (eds.)

წელი:

2010

ენა:

english

ფაილი:

PDF, 4.01 MB

0 / 0

english, 2010

13

Verification, Model Checking, and Abstract Interpretation: 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings

Verification, Model Checking, and Abstract Interpretation: 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

Radhia Cousot (auth.), Francesco Logozzo, Doron A. Peled, Lenore D. Zuck (eds.)

წელი:

2008

ენა:

english

ფაილი:

PDF, 3.97 MB

0 / 0

english, 2008

14

Model Checking Software: 8th International SPIN Workshop Toronto, Canada, May 19–20, 2001 Proceedings

Model Checking Software: 8th International SPIN Workshop Toronto, Canada, May 19–20, 2001 Proceedings

Springer-Verlag Berlin Heidelberg

Doron Peled, Lenore Zuck (auth.), Matthew Dwyer (eds.)

წელი:

2001

ენა:

english

ფაილი:

PDF, 2.90 MB

0 / 0

english, 2001

15

Automated Technology for Verification and Analysis: Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005. Proceedings

Automated Technology for Verification and Analysis: Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005. Proceedings

Springer-Verlag Berlin Heidelberg

Amir Pnueli (auth.), Doron A. Peled, Yih-Kuen Tsay (eds.)

წელი:

2005

ენა:

english

ფაილი:

PDF, 7.68 MB

0 / 0

english, 2005

16

Verification, Model Checking, and Abstract Interpretation: 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings

Verification, Model Checking, and Abstract Interpretation: 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

Radhia Cousot (auth.), Francesco Logozzo, Doron A. Peled, Lenore D. Zuck (eds.)

წელი:

2008

ენა:

english

ფაილი:

PDF, 6.01 MB

0 / 0

english, 2008

17

Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers

Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers

Springer-Verlag Berlin Heidelberg

Howard Barringer, Klaus Havelund, David Rydeheard, Alex Groce (auth.), Saddek Bensalem, Doron A. Peled (eds.)

წელი:

2009

ენა:

english

ფაილი:

PDF, 2.42 MB

0 / 0

english, 2009

18

Computer Aided Verification: 11th International Conference, CAV’99 Trento, Italy, July 6–10, 1999 Proceedings

Computer Aided Verification: 11th International Conference, CAV’99 Trento, Italy, July 6–10, 1999 Proceedings

Springer-Verlag Berlin Heidelberg

David L. Dill (auth.), Nicolas Halbwachs, Doron Peled (eds.)

წელი:

1999

ენა:

english

ფაილი:

PDF, 28.47 MB

0 / 0

english, 1999